|
Definition of Formal grammar
1. Noun. (computer science) A precise mathematical description of a formal language, consisting of terminal symbols, nonterminal symbols, a nonterminal symbol serving as start symbol, and a set of production rules that control the expansion of nonterminal symbols into strings consisting of both terminal and nonterminal symbols. ¹
¹ Source: wiktionary.com